filter2(P;L) == reduce2(x,i,l. if P(i) x.l else l fi;nil;0;L) 

latex

Definitions	reduce2(f;k;i;as), if b t else f fi
FDL editor aliases	filter2